Resolution proof tree
[计] 分解证明树
🧩 词语组成解析
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
tree
[tri]
n. 树;木料;树状图;宗谱;
vt. 把…赶上树;使处于困境;把鞋型插入（鞋内）;
🗣️ 情景例句
To be away from the city on such a beautiful day
在这样美好的一天远离都市
We shouldn't have any trouble if the traffic isn't to heavy.
如果交通不太拥挤的话，我们不会有什么困难。
The IBM Personal Computer was widely copied.
IBM的个人电脑被大规模地模仿。